fix(driver-sql): 空 $and/$or/$not 按布尔单位元编译，$or: [] 不再返回全表 (#5134) - #5243

Fixes #5134

含 07:29Z 注记并入的 #5146 分叉二($not 空子分组 → 方言 FALSE)。#5146 剩余的 NULL 语义分叉未触碰,非空 $not 的编译方式逐字节未变。

问题

applyFilterCondition 把每个组合子都编译成一个 knex 分组回调,而 knex 对「一个子句都没加进去的分组」不产出任何 SQL。于是**「这个组是空的」和「这个组已被满足」编译成了同一条查询**。丢弃子句不等于套用单位元,而两个单位元的方向是相反的:

$and: [] 恰好正确的理由不是代码理解了单位元,而是「丢掉」在 AND 侧碰巧等价于 TRUE —— 同一段代码在 OR 与 NOT 侧就必然错。

放松的那两格是安全相关的:$or: [] 最常见的来源正是「本该有条件、但循环一个析取项都没填进去」的 RLS read scope,把它当成全表意味着本该看不到任何行的人拿到了整表。

同仓另外两个后端(formula 的 matchesFilterCondition、driver-memory)三条本来就都对,driver-sql 是唯一的例外。

修法

1. 结构性三值归约,而不是观察式判空

新增 reduceFilterNode / reduceFilterKey,在产出任何 SQL 之前把整棵 filter 树归约成 'true' / 'false' / 'clause'。这一点是刻意的:原缺陷本身就是一次「编译完再看分组里有没有东西」的观察,而观察分不清「因为本来就是空」和「因为有东西没编译出来」。结构判定没有这个盲区。

副产品:编译器打开的每一个分组都保证至少收到一条子句 —— TRUE 组合子整个跳过,$and 里的 TRUE 成员与 $or 里的 FALSE 成员按各自单位元丢弃,归约为 FALSE 的节点根本走不到发射循环。knex 再没有机会静默丢弃一个组。

FALSE 常量用 1 = 0:read-scope-sql.ts 对空 $in 用的就是它,knex 自己渲染空 whereIn 也是它,三个方言通吃,无 binding,且查询仍是普通 SELECT(LIMIT/ORDER BY/聚合都照常)。

2. 形状拒收 —— 与单位元不可分的一半

套用单位元的前提是「编译成空」只剩一个成因。在此之前 $or: [null]、$or: ['x']、$or: [[…]]、$or: [new Date()] 同样会无痕消失;不先拦掉它们就上单位元,会把它们从「被静默忽略」升级成「匹配所有行」,比原 bug 更坏(cloud#1073 踩过的那一脚)。

现在 $and/$or 的元素与 $not 的操作数必须是 plain object 的 filter 节点,否则按 ADR-0112 响亮拒收 —— INVALID_FILTER / 400、消息指明出错位置(filter.$or[1])、不带 [sql-driver] 前缀,与本 driver 既有的 unsupportedFilterError 同一个信封。$and: 'x' 这类非数组操作数也不再被当成一个名为 $and 的字段列。

原型判定是关键的一半:Date / RegExp / class 实例都满足 typeof x === 'object' && !Array.isArray(x) 却枚举为空 —— 若被接受,归约会把它们读成 TRUE 并交出整张表。测试里有一条 class 实例专门钉这个。

刻意不做的事

• { field: {} }(零个操作符的字段约束)不裁决。 归约把任何带字段键的节点一律判为 'clause'(而非 'true'),所以该形状编译结果与修前逐字节相同。它在同仓有三个答案(driver-sql 组合子内 TRUE / driver-sql 顶层抛 INVALID_FILTER / formula 与 driver-memory FALSE),定调需维护者拍板 —— 已另立 { field: {} }(零个操作符的字段约束)在同仓有三个答案:driver-sql 组合子内 TRUE、顶层抛 INVALID_FILTER、formula/driver-memory FALSE #5240,代码里留了注释指向它。
• packages/spec/** 零改动。 FILTER_LOGIC_CASES 扩条归 spec 车道,已另立 [spec] FILTER_LOGIC_CASES 补空组合子的布尔单位元四条 —— 需与 driver-mongodb 的单位元归约同时落地 #5239,并在单里写明 driver-mongodb 必须同 PR 落地单位元归约(它把空数组原样透传,MongoDB 直接报错 —— 第三种行为),否则表一加就把 mongodb 的 cell 打红。
• 未碰 formula / driver-memory / driver-mongodb。

验证

修前(新 pin 文件跑在未改动的 main 上)——bug 逐条复现:

× empty $or is FALSE — ZERO rows, not the whole table
× empty $not is FALSE — NOT TRUE ≡ FALSE, so zero rows
AssertionError: expected [ '1', '2', '3' ] to deeply equal []
AssertionError: expected [ '1', '2', '3' ] to deeply equal []
      Tests  2 failed | 1 passed | 31 skipped (34)

整个 pin 文件修前 22 failed | 12 passed (34);其中 { $or: [null] } 修前 resolve 出全部 3 行(「垃圾静默匹配所有行」的实证)。

修后:

packages/plugins/driver-sql  →  Test Files 58 passed | 4 skipped (62)
                                Tests    717 passed | 44 skipped (761)
                                tsc --noEmit → TYPECHECK OK

SqliteWasmDriver extends SqlDriver,继承同一个方法,一并跑过:

packages/plugins/driver-sqlite-wasm  →  Test Files 16 passed (16)
                                        Tests    232 passed (232)

(含它自己的 sqlite-wasm-filter-logic-conformance.test.ts。)

sql-driver-or-filter.test.ts(#3774 的一致性 sweep)与 sql-driver-filter-no-silent-drop.test.ts(#3948 的响亮拒收)全绿 —— 本次改动与它们钉住的行为不冲突。

用户可见性

changeset 已加(patch),并在正文里明确写出这是查询行为变更:{ $or: [] } 从返回整张表变成返回零行,依赖旧行为的代码依赖的是一个 filter 旁路,RLS 影响单列说明。

🤖 Generated with Claude Code

https://claude.ai/code/session_01Pbu27iNUfQCHeuS551Rqo7

Generated by Claude Code